Buy Used and New Holger Hermanns Books

Lectures on Formal Methods and Performance Analysis: First EEF/Euro Summer School on Trends in Computer Science: First EEF/Euro Summer School on ... 2090 (Lecture Notes in Computer Science)

by Ed Brinksma,Holger Hermanns,Joost-Pieter Katoen

ISBN 13: 9783540424796

Format: Paperback (444 pages)
Publisher: Springer
Published: 29 Aug 2001

Save for later

Tools and Algorithms for the Construction and Analysis of Systems: 12th International Conference, TACAS 2006, Held as Part of the Joint European ... April 2, (Lecture Notes in Computer Science)

by Holger Hermanns,Jens Palsberg

ISBN 13: 9783540330561

Format: Paperback (524 pages)
Publisher: Springer Berlin Heidelberg
Published: 10 Oct 2008

Save for later